Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
491	National Emergency Grant (NEG) Program Dislocated Worker Training (DWT) NEG Electronic Application System (eSystem) User Guide Complete applications must be received by COB June 7, 2013 to be considered for funding. Add to Reading List Source URL: doleta.gov Language: English - Date: 2013-05-29 09:17:31 Metalogic Well-formed formula Automated theorem proving Logic Mathematical logic Logical syntax
492	Formalization of Visual Mathematical Notations Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 03:20:20 Diagrams Reasoning Automated theorem proving Logic programming Constraint programming Diagrammatic reasoning Diagram Euler diagram Mathematical notation Science Logic Mathematics
493	Andr´ e Platzer Last updated: December 21, 2014 Contact Information Add to Reading List Source URL: www.symbolaris.com Language: English - Date: 2014-12-22 12:12:58 Formal methods Logic in computer science Automated theorem proving Differential equations Formal verification Model checking Lecture Notes in Computer Science Actor model KeY Theoretical computer science Applied mathematics Mathematics
494	In Memoriam Woodrow Wilson Bledsoe Woodrow Wilson (Woody) Bledsoe died on 4 October 1995 of ALS, more commonly known as Lou GehrigÕs disease. Woody was one of the founders of Artificial Intelligence (AI), making early c Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2000-04-02 13:38:05 Mathematics Logic in computer science Artificial intelligence Automated reasoning Reasoning Robert S. Boyer Natural Woody Bledsoe Automated theorem proving Theoretical computer science Applied mathematics
495	A Calculus for and Termination of Rippling David A. Basin Max-Planck-Institut fur Informatik, Saarbrucken, Germany email: [removed] Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-07-29 02:05:21 Heuristics Rippling Formal languages Logic in computer science Applied mathematics Partial differential equations Rewriting Wave N-skeleton Theoretical computer science Mathematics Automated theorem proving
496	Structure Learning via Parameter Learning William Yang Wang Kathryn Mazaitis William W. Cohen Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-08-25 09:41:11 Reasoning Quantification Automated theorem proving Predicate logic Logic programming Prolog Resolution Datalog First-order logic Logic Mathematics Mathematical logic
497	Automated Theorem Proving Frank Pfenning Carnegie Mellon University Draft of Spring 2004 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-04-13 10:08:54 Natural deduction Sequent Intuitionistic logic Judgment Cut-elimination theorem Linear logic Curry–Howard correspondence First-order logic Rule of inference Logic Mathematical logic Proof theory
498	Differential Dynamic Logics Automated Theorem Proving for Hybrid Systems Andr´e Platzer Department of Computing Science Carl-von-Ossietzky University of Oldenburg, Germany Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:09:30 Automated theorem proving Mathematics Systems theory Abstraction Dynamical systems Differential equations Hybrid system
499	DOC Document Add to Reading List Source URL: www.calculemus.org Language: English - Date: 2001-11-06 03:27:00 Automated theorem proving Method of analytic tableaux Predicate logic Symmetric functions Modal logic Lambda calculus Well-formed formula Function Term Mathematics Logic Mathematical logic
500	Progress in the Development of Automated Theorem Proving for Higher-order Logic? Geoff Sutcliffe1 , Christoph Benzm¨ uller2 , 3 Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:30 Logic Geoff Sutcliffe CADE ATP System Competition TPTP Vampire Automated reasoning First-order logic Proof assistant Logic programming Automated theorem proving Mathematical logic Theoretical computer science

UPDATE